COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00003 ENDMK
C⊗;

(defun tak (x y z)
 (catch 'tak (tak1 x y z)))

(defun tak1 (x y z)
       (cond ((not (ilessp y x))
	      (throw 'tak z))
	     (t (tak1
		 (catch 'tak
			 (tak1 (isub1 x)
			       y
			       z))
		 (catch 'tak
			 (tak1 (isub1 y)
			       z
			       x))
		 (catch 'tak
			 (tak1 (isub1 z)
			       x
			       y))))))



(defun timit ()
    (do ((n 2 (isub1 n)))
	((izerop n))
	(tak 18 12 6)
	(tak 18 12 6)
	(tak 18 12 6)
	(tak 18 12 6)
	(tak 18 12 6)
	(tak 18 12 6)
	(tak 18 12 6)
	(tak 18 12 6)
	(tak 18 12 6)
	(tak 18 12 6)))